Stit semantics for epistemic notions based on information disclosure in interactive settings

We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are ex ante knowledge, interim post and know-how. The first three notions that arose from game-theoretical analyses on the stages information disclosure across decision making process, fourth has gained prominence both in logics action deontic logic as means to formalize ability. In recent years, logicians AI have argued any comprehensive study responsibility attribution blameworthiness should include proper treatment these kinds knowledge. This paper intends clarify previous attempts them propose alternative interpretations our opinion more akin tradition. we present uses an extension with operators Xstit language, formulas evaluated respect models. also axiomatic system for this logic, address its soundness completeness.